ODB-Tool: Validazione di Schemi e Ottimizzazione Semantica On-line per Basi di Dati Object oriented

In questo lavoro viene presentato ODB-Tool, uno strumento software per la validazione di schemi e l'ottimizzazione semantica di interrogazioni per le Basi di Dati Orientate agli Oggetti (OODB), che sfrutta le potenzialit a di Internet e del linguaggio JAVA per la rappresentazione gra ca on-line dei risultati ottenuti. Gli algoritmi operanti in ODB-Tool sono basati su tecniche di inferenza che sfruttano il calcolo della sussunzione e la nozione di espansione semantica di interrogazioni per la trasformazione delle query al ne di ottenere inferiori tempi di risposta. Entrambi i concetti sono stati introdotti nell'area dell'Intelligenza Arti ciale, pi u precisamente nell'ambito delle Logiche Descrittive, e sono stati studiati e formalizzati in OCDL (Object Constraint Description Logics), un linguaggio che permette di esprimere descrizioni di classi, vincoli d'integrit a ed interrogazioni. Sia per quanto riguarda il linguaggio di de nizione degli schemi che il linguaggio di interrogazione il tool utilizza lo standard ODMG-93, opportunamente esteso per rappresentare i vincoli di integrit a.